Ada Adoption Handbook: Compiler Evaluation and Selection Version 1.0
نویسنده
چکیده
The evaluation and selection of an Ada compilation system for a project is a complex and costly process. Failure to thoroughly evaluate an Ada compilation system for a particular user application will increase project risk and may result in cost and schedule overruns. The purpose of this handbook is to convince the reader of the difficulty and importance of evaluating an Ada compilation system (even when there is no freedom of choice). The handbook describes the dimensions along which a compilation system should be evaluated, enumerates some of the criteria that should be considered along each dimension, and provides guidance with respect to a strategy for evaluation. The handbook does not provide a cookbook for evaluation and selection. Nor does it provide information on specific compilation systems or compare different compilation systems. Rather it serves as a reference document to inform users of the options available when evaluating and selecting an Ada compilation system.
منابع مشابه
Ada Adoption Handbook: Compiler Evaluation and Selection
The evaluation and selection of an Ada compilation system for a project is a complex and costly process. Failure to thoroughly evaluate an Ada compilation system for a particular user application will increase project risk and may result in cost and schedule overruns. The purpose of this handbook is to convince the reader of the difficulty and importance of evaluating an Ada compilation system ...
متن کاملProfessionally designed and developed OpenMP parser for the Ada programming language using flex
This paper describes a new version of OpenMP parser for Ada. AdaOMP consists of: OpenMP compiler for Ada and Ada package with OpenMP routines and variables. We show how compiler writing can be improved by the use of professional tool – flex – lexical analyzer, for kernel creation. In this paper we focus on describing steps leading to parser creation. We will explain some implementation details ...
متن کاملA Survey of Real-Time Performance Benchmarks for the Ada Programming Language
This survey provides a summary description of some of the major Ada benchmarks currently available and an evaluation of their applicability to the Ada Embedded Systems Testbed (AEST) Project at the Software Engineering Institute (SEI). The benchmarks discussed are: the University of Michigan benchmarks, the ACM Performance Issues Working Group (PIWG) benchmarks, and the prototype Ada Compiler E...
متن کاملSafe Pointers in SPARK 2014
In the context of deductive software verification, programs with pointers present a major challenge due to pointer aliasing. In this paper, we introduce pointers to SPARK, a well-defined subset of the Ada language, intended for formal verification of mission-critical software. Our solution is based on static alias analysis inspired by Rust's borrow-checker and affine types, and enforces the Con...
متن کاملThe COMET Handbook: version 1.0
The selection of appropriate outcomes is crucial when designing clinical trials in order to compare the effects of different interventions directly. For the findings to influence policy and practice, the outcomes need to be relevant and important to key stakeholders including patients and the public, health care professionals and others making decisions about health care. It is now widely ackno...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1989